type A = (string)
